Definably complete Baire structures
نویسندگان
چکیده
منابع مشابه
Definably complete and Baire structures
We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. The converse is clearly not true. However, ...
متن کاملDefinably Complete and Baire Structures
We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a de-finable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. The converse is clearly not true. However,...
متن کاملNoetherian varieties in definably complete structures
We prove that the zero-set of a C∞ function belonging to a noetherian differential ring M can be written as a finite union of C∞ manifolds which are definable by functions from the same ring. These manifolds can be taken to be connected under the additional assumption that every zero-dimensional regular zero-set of functions in M consists of finitely many points. These results hold not only for...
متن کاملEquivariant Definale Morse Functions in Definably Complete Structures
Let G be a compact definable C group, X a compact affine definable CG manifold and 2 ≤ r < ∞. We prove that the set of equivariant definable Morse functions on X whose loci are finite unions of nondegenerate critical orbits is open and dense in the set of G invariant definable C functions with respect to the definable C topology.
متن کاملDefinably Simple Groups in O-minimal Structures
Let G = 〈G, ·〉 be a group definable in an o-minimal structure M. A subset H of G is G-definable if H is definable in the structure 〈G, ·〉 (while definable means definable in the structure M). Assume G has no Gdefinable proper subgroup of finite index. In this paper we prove that if G has no nontrivial abelian normal subgroup, then G is the direct product of G-definable subgroups H1, . . . ,Hk s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2010
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm209-3-2